81. Interactive logic :
پدیدآورنده : edited by Johan van Benthem, Dov Gabbay, Benedikt Löwe
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Game theory, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA269
.
I58
2007
82. Interpolation and definability
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(
رده :
QA
281
.
G28I5
83. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
پدیدآورنده : by Dov M. Gabbay.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
رده :
BC199
.
M6
B936
1976
84. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده : Gabbay, Dov M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6
.
G3
85. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6G22
86. Labelled Deduction
پدیدآورنده : edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
87. Logic, Epistemology, and the Unity of Scienc
پدیدآورنده : / [electronic resource
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع :
88. Logic, Epistemology, and the Unity of Science
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع :
89. Logic, Language and Reasoning
پدیدآورنده : edited by Hans Jürgen Ohlbach, Uwe Reyle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
90. Logic and the modalities in the 20th century
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic ; History ; 20th century. ; Philosophy ; History ; 20th century. ;
91. Logic from Russell to Church
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic ; History. ;
92. Logical tools for handling change in agent-based systems
پدیدآورنده : Dov M. Gabbay, Karl Schlechta
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Intelligent agents (Computer software),Logic, Symbolic and mathematical,Nonmonotonic reasoning
رده :
Q310
.
G33
2010eb
93. Mathematical problems from applied logic
پدیدآورنده : / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Logic, Symbolic and mathematical.
رده :
QA9
,.
M346
,
2006
94. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
95. Mathematical problems from applied logic I
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
96. Mathematical problems from applied logic : logics for the XXIst century
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M28
97. Neural-symbolic cognitive reasonin
پدیدآورنده : / Artur S. d'Avila Garcez, Luais C. Lamb, Dov M. Gabbay
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Neural networks (Computer science),Artificial intelligence.
رده :
QA
,
76
.
87
,.
D39
,
2009
98. Neural-symbolic cognitive reasoning
پدیدآورنده : D'Avila Garcez, Artur S., 0791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Neural networks )Computer science(,، Artificial intelligence
رده :
QA
76
.
87
.
D29N4
99. Philosophy of Complex Systems
پدیدآورنده : / Gabbay, Dov M.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
100. Practical reasoning
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Automatic theorem provingCongresses,Practical reasonCongresses,ReasoningCongresses,Artificial intelligenceCongresses
رده :
QA
,
76
.
9
,.
A96I575
